Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
101	Programvací jazyky F# a OCaml Preface Introduction to F# and functional programming Add to Reading List Source URL: tomasp.net
102	Managing the Haskell Dependency Hell with Nix Peter SimonsIntroduction Purely functional programming languages like Haskell encourage software engineers to write re-usable code. As of today, the Haskell commu Add to Reading List Source URL: www.bioinf.uni-leipzig.de - Date: 2013-05-14 07:18:32
103	02157 Functional Programming - Finite Trees ) Add to Reading List Source URL: www.imm.dtu.dk - Date: 2013-01-17 16:45:29
104	The Fresh Approach: functional programming with names and binders. A thesis submitted for the Degree of Doctor in Philosophy, by Mark Ross Shinwell of Queens’ College. Add to Reading List Source URL: www.three-tuns.net - Date: 2006-03-14 07:06:53
105	02157 Functional Programming - Finite Trees ) Add to Reading List Source URL: www.imm.dtu.dk - Date: 2013-01-17 16:46:45
106	Career Tracks- Information Technology Family FUNCTIONAL AREA Applications Programming AV IT Add to Reading List Source URL: www.hr.ucdavis.edu - Date: 2015-12-03 17:20:38
107	2012 StatePrinting Logo (Horizontal) Add to Reading List Source URL: www.generalservices.state.nm.us Language: English - Date: 2015-12-14 12:26:35 Computer programming Software engineering Computing Functional programming Monad Cal Monotype typefaces
108	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
109	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
110	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq

UPDATE